Planning Domain Definition Language - PDFSEARCH.IO - Document Search Engine

Planning Domain Definition Language
Results: 128

#	Item
51	Processes and Continuous Change in a SAT-based Planner 1 Ji-Ae Shin Courant Institute, New York University, New York, NY 10012, USA Add to Reading List Source URL: www.cs.nyu.edu Language: English - Date: 2005-02-14 11:22:18 Mathematics Automated planning and scheduling Programming paradigms Operations research Planning Domain Definition Language Logic in computer science Boolean satisfiability problem Constraint satisfaction Linear programming Theoretical computer science Applied mathematics Constraint programming
52	Planning Modulo Theories: Extending the Planning Paradigm Peter Gregory Derek Long and Maria Fox J. Christopher Beck Add to Reading List Source URL: tidel.mie.utoronto.ca Language: English - Date: 2012-04-19 08:48:52 Automated planning and scheduling Propositional calculus Constraint programming Formal methods Planning Domain Definition Language Boolean algebra Satisfiability Modulo Theories Interpretation Function Logic Mathematics Mathematical logic
53	Continuous Time in a SAT-based Planner Ji-Ae Shin and Ernest Davis∗ Courant Institute New York University { jiae \| davise }@cs.nyu.edu Add to Reading List Source URL: www.cs.nyu.edu Language: English - Date: 2006-05-25 12:15:43 Logic in computer science Software engineering Constraint programming Fluent Computer programming Automated planning and scheduling Artificial intelligence Planning Domain Definition Language
54	This article has been accepted for inclusion in a future issue of this journal. Content is final as presented, with the exception of pagination. IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING 1 Automating Knowl Add to Reading List Source URL: www-ai.ijs.si Language: English - Date: 2013-03-25 05:40:40 Information science Semantic Web Knowledge representation Ontology Technical communication Workflow Planning Domain Definition Language Upper ontology Knowledge representation and reasoning Science Information Artificial intelligence
55	Microsoft PowerPoint - IPPC_2011_Presentation.ppt Add to Reading List Source URL: users.cecs.anu.edu.au Language: English - Date: 2011-06-25 19:58:25 DBN Partially observable Markov decision process STRIPS Automated planning and scheduling Artificial intelligence Planning Domain Definition Language
56	Planning with Preferences and Trajectory Constraints by Integer Programming Menkes van den Briel Subbarao Kambhampati Add to Reading List Source URL: www.menkes76.com Language: English - Date: 2012-10-29 18:18:21 Preference Mathematical optimization Automated planning and scheduling Constraint programming Planning Domain Definition Language
57	ICAPS 2012 Tutorial Discrete and Continuous Planning Domain Modeling in RDDL Scott Sanner Observation Add to Reading List Source URL: users.cecs.anu.edu.au Language: English - Date: 2012-06-26 18:49:03 Mathematics STRIPS Economic model AMPL Stochastic Automated planning and scheduling Artificial intelligence Planning Domain Definition Language
58	Journal of Artificial Intelligence Research398 Submitted 7/14; published 3/15 Inferring Team Task Plans from Human Meetings: A Generative Modeling Approach with Logic-Based Prior Add to Reading List Source URL: www.jair.org Language: English - Date: 2015-03-31 00:50:52 Knowledge Theoretical computer science Machine learning Automated planning and scheduling Planning Domain Definition Language Causality Logic programming Algorithm Generative model Logic Science Reasoning
59	Using Classical Planners to Solve Nondeterministic Planning Problems Ugur Kuter Dana Nau Elnatan Reisner Add to Reading List Source URL: rpgoldman.goldman-tribe.org Language: English - Date: 2009-08-06 12:04:58 New Democratic Party Reactive planning Automated planning and scheduling S0 Planning Domain Definition Language
60	Learning High-Level Planning from Text S.R.K. Branavan, Nate Kushman, Tao Lei, Regina Barzilay Computer Science and Artificial Intelligence Laboratory Massachusetts Institute of Technology {branavan, nkushman, taolei, re Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2012-05-11 11:57:26 Automated planning and scheduling STRIPS Planning Domain Definition Language

UPDATE